Skip to content

Conversation

@cmdcolin
Copy link
Collaborator

was started in v4, but it missed some things, and then toggling this revealed further things that needed fixing

first alerted by https://arethetypeswrong.github.io website

image

@cmdcolin cmdcolin force-pushed the type_mod branch 11 times, most recently from b961c0c to 8600ed6 Compare January 19, 2026 16:28
@cmdcolin cmdcolin merged commit 59cd08c into main Jan 19, 2026
8 checks passed
@cmdcolin cmdcolin deleted the type_mod branch January 19, 2026 18:45
@cmdcolin cmdcolin added the enhancement New feature or request label Jan 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants